1990年度ACMチューリング賞受賞記念講演 誤りを潜在したシステムの構築